Verification of temporal scheduling constraints in clinical practice guidelines
نویسندگان
چکیده
منابع مشابه
Verification of temporal scheduling constraints in clinical practice guidelines
The computerization of clinical practice guidelines is a significant scientific challenge for the medical informatics community. One frequently reported factor hindering this objective is the existence of deficiencies within guideline knowledge. In this paper, we focus on the detection of flaws within temporal scheduling constraints. Temporal scheduling constraints are important elements of the...
متن کاملTowards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines
In this paper, we focus on an application and extension of Artificial Intelligence temporal reasoning techniques in order to represent and reason with temporal constraints in clinical guidelines. Particular attention is dedicated to the treatment of repeated (periodic) events, which play a major role in clinical therapies. We also discuss some limitations of our current approach, highlighting p...
متن کاملFormal Methods for Verification of Clinical Practice Guidelines
Formal methods play an important role in the development of software and hardware systems. In recent years, there has been a growing interest to apply these methods in the area of medical guidelines and protocols. This paper summarises these efforts, compares the approaches and discusses the role of formal methods in this area.
متن کاملPropagating Temporal Constraints for Scheduling
We give in this article a general frame for propagattemporal constraints over events, these events being exclusively considered as sets of possible occurrences (SOPOs). These SOPOs are the numerical expression of an uncertainty about the exact occurrence of an event, while this exact occurrence is constrained by the possible occurrence of other events.Thiz key-problem of scheduling is an instan...
متن کاملSpeaker verification in noise using temporal constraints
This paper addresses the problem of state duration modeling in combination with spectral subtraction and Rasta filtering to cancel both additive and convolutional noise in a text-dependent speaker verification task. The results presented in this paper suggest that temporal constraints can lead to reductions of 30 and 14% in the error rates at SNR equal to 0 and 6dB, respectively, without noise ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence in Medicine
سال: 2002
ISSN: 0933-3657
DOI: 10.1016/s0933-3657(02)00011-8